state@i|xs == x:Idif deq-member(IdDeq;x;xs) then vartype(i;x) else Top fi  

latex

---

clarification:

es-partial-state(es;i;xs)
== x:Idif deq-member(IdDeq;x;xs) then es-vartype(es; i; x) else Top fi  

latex

Definitions	x:AB(x), Id, if b then t else f fi , deq-member(eq;x;L), IdDeq, vartype(i;x), Top
FDL editor aliases	es-partial-state